I argue that the dispute between two leading theories of interpretation of legal texts, textual originalism and textual evolutionism, depends on the false presupposition that changes in the way a word is used necessarily require a change in the word’s meaning. Semantic externalism goes a long way towards reconciling these views by showing how a word’s semantic properties can be stable over time, even through vicissitudes of usage. I argue that temporal externalism can account for even more semantic stability, however. (...) Temporal externalism is the theory that the content of an utterance at time t may be determined by developments in linguistic usage subsequent to t. If this semantic theory is correct, then the originalist and evolutionist positions effectively collapse. Originalism is correct in that the original meaning of the text is the meaning that is binding on jurists, but evolutionism is vindicated, as it is the current practices and standards that determine the meaning the text now has, and has always had. Objections to temporal externalism, and to its application to the interpretation of legal texts, are considered and addressed. (shrink)

This is an encyclopedia article about epistemic closure principles. The article explains what they are, their various philosophical uses, how they are argued for or against, and provides an overview of the related literature.

Stephen Law developed a challenge to theism, known as the evil-god challenge (Law (2010) ). The evil-god challenge to theism is to explain why the theist’s responses to the problem of evil are any better than the diabolist’s – who believes in a supremely evil god – rejoinders to the problem of good, when all the theist’s ploys (theodicy, sceptical theism, etc.) can be parodied by the diabolist. In the first part of this article, I extend the evil-god challenge by (...) showing that additional theist replies to the problem of evil (more theodicies, the privation view of evil, and others) also may be appropriated, with just as much plausibility, in support of the diabolist position. In the second part of the article, I defend the evil-god challenge against several objections. (shrink)

Can the best arguments for a privation theory of evil be parodied, with equal plausibility, as arguments for a privation theory of good? The privation theory of evil claims that evil has no positive existence, and it is but a privation of good. The privation theory of good claims the opposite. I approach this topic as one element in the so-called evil-God Challenge. Stephen Law has argued that the epistemic support for belief in an omniscient, omnipotent, and morally perfect God (...) (theism) is on a par with the epistemic support for belief in an omniscient, omnipotent, but completely evil-God (maltheism). In fact, he concludes, the arguments for an evil God are symmetrical with, and isomorphic to, those for a good God. The privation theory of evil has often been used to defend theism against the argument from evil. Thus, part of the evil-God Challenge is to evaluate arguments for the privation theory of evil for their vulnerability to maltheist parody. I consider a broad range of arguments for the privation theory of evil, and I argue that most of them are vulnerable to parodic neutralization. Furthermore, I argue that although the thesis of the convertibility of being and goodness is often held to entail the privation theory of evil, or to be entailed by it (or to be equivalent to it), it is independent of the privation theory. I do find that David Oderberg’s recent argument for the privation theory of evil resists any easy maltheist parody, but I argue that it has a defect. I sketch an argument according to which his good-as-fulfillment account is compatible with a perfectly evil god. My tentative conclusion is that the privation theory of evil enjoys little more plausibility than does the privation theory of good. (shrink)

There is no doubt that custard apple diseases are among the important reasons that destroy the Custard Apple plant and its agricultural crops. This leads to obvious damage to these plants and they become inedible. Discovering these diseases is a good step to provide the appropriate and correct treatment. Determining the treatment with high accuracy depends on the method used to correctly diagnose the disease, expert systems can greatly help in avoiding damage to these plants. The expert system correctly diagnoses (...) Custard Apple disease to make it easier for farmers to find the right treatment based on the appropriate diagnosis. Objectives: A specialized syllable language system was established for the diagnosis of Custard Apple plant disease. (shrink)

A pineapple is a tropical plant with eatable leafy foods most monetarily critical plant in the family Bromeliaceous. The pineapple is native to South America, where it has been developed for a long time. The acquaintance of the pineapple with Europe in the seventeenth century made it a critical social symbol of extravagance. Since the 1820s, pineapple has been industrially filled in nurseries and numerous tropical manors. Further, it is the third most significant tropical natural product in world creation. In (...) the twentieth century, Hawaii was a prevailing maker of pineapples, particularly for the US, be that as it may, by 2016, Costa Rica, Brazil, and the Philippines represented almost 33% of the world's creation of pineapples. In this paper, machine learning based approach is presented for identifying type pineapple with a dataset that contains 1,311images use 946 images for training, 197 images for validation and 168 images for testing. A deep learning technique that extensively applied to image recognition was used. use 70% from image for training and 30% from image for validation. Our trained model achieved an accuracy of 100% on a heldout test set. (shrink)

The study aimed to identify the relationship between correcting the deviations in the measurement of performance and achieving the objectives of control and the performance of the job at the Islamic University in the Gaza Strip. To achieve the objectives of the research, the researchers used the descriptive analytical approach to collect information. The questionnaire consisted of (20) statements distributed to three categories of employees of the Islamic University (senior management, faculty members, their assistants and members of the administrative board). (...) A random sample of 314 employees was selected and 276 responses were retrieved with a recovery rate of 88.1%. The Statistical Analysis Program (SPSS) was used to enter, process, and analyze the data. The results of the study showed a positive relationship between correcting deviations in performance measurement and achieving the control objectives represented by the functional performance in the Islamic University from the point of view of the members (senior management, faculty and their assistants, and the administrative board), where the relative weight of all the paragraphs was (74.25%). The study recommended the need to ensure that the actual performance of the planned performance is matched and decisions are taken to correct the serious deviations and take the necessary measures in terms of retraining and change in regulations, wages and bonuses and punishment of the culprit, neglect and negligence by mistake. (shrink)

Moral duties are regularly attributed to groups. Does this make conceptual sense or is this merely political rhetoric? And what are the implications for these individuals within groups? Collins outlines a Tripartite Model of group duties that can target political demands at the right entities, in the right way and for the right reasons.

The study aimed to identify the role of administrative procedures and systems in enhancing the performance of the educational institutions in the Islamic University in Gaza. To achieve the research objectives, the researchers used the analytical descriptive approach to collect information. The researchers used the questionnaire distributed to three categories of employees at the Islamic University (senior management, faculty members, their assistants and members of the administrative board). A random sample of 314 employees was selected and 276 questionnaires were retrieved (...) with a recovery rate of 88.1%. The Statistical Analysis Program (SPSS) was used to enter process and analyze data. The results of the research showed a positive role for the administrative procedures and systems in enhancing the performance of the Islamic University from the point of view of the members (senior management, teaching staff and their assistants and the administrative body), where the relative weight of all the paragraphs (73.728%). The analysis of the results revealed that the administrative procedures at the Islamic University in Gaza are used to an acceptable degree. The relative weight of all the paragraphs is 70%. This indicates a relationship between administrative procedures and regulations and the performance of the Islamic University in the Gaza Strip. The study found that there was a good degree of approval from the sample regarding the administrative procedures and their relationship to the job performance. There exist a sufficient degree of powers to the deans and department managers to carry out their tasks, with the use of plans as control tools. And that there are rules and procedures provided for decision-making in the University Council. It also has full powers to manage the university to improve the teaching and learning environment. The researchers also recommended a number of recommendations, including the need to follow up on the procedures and systems of management and update them continuously in the light of changes that may occur and to ensure the existence of a strong system of electronic information systems within the university. There is a need to provide mechanisms for obtaining information about the surrounding external environment, and effective mechanisms to provide managers with the necessary information in a timely manner. The importance of providing channels of communication that enables staff to communicate information about any violations and breaches. The study also recommended the follow-up, review, procedures and administrative systems, and work to modify them in line with the mission of the university and the objectives that the university seeks to reach. (shrink)

I defend the following version of the ought-implies-can principle: (OIC) by virtue of conceptual necessity, an agent at a given time has an (objective, pro tanto) obligation to do only what the agent at that time has the ability and opportunity to do. In short, obligations correspond to ability plus opportunity. My argument has three premises: (1) obligations correspond to reasons for action; (2) reasons for action correspond to potential actions; (3) potential actions correspond to ability plus opportunity. In the (...) bulk of the paper I address six objections to OIC: three objections based on putative counterexamples, and three objections based on arguments to the effect that OIC conflicts with the is/ought thesis, the possibility of hard determinism, and the denial of the Principle of Alternate Possibilities. (shrink)

In “A Tension in the Strong Program: The Relation between the Rational and the Social”, Shahram Shahryari (2021) advances the following thesis: In his Strong Program in the sociology of science, David Bloor blames traditional philosophy of science for adopting a dualist strategy in explaining scientific developments, as it employs rational explanation for successful science and social explanation for flawed science. Instead, according to Bloor, all scientific developments should be explained monistically, i.e. in terms of social causes. This is also (...) referred to as the Symmetry Principle, and it is a key tenet in the Strong Program. The author detects a tension here, as Bloor apparently asserts that traditional philosophy of science deploys two kinds of explanation, and simultaneously insists that there is only one kind, i.e. social explanation. (shrink)

The University of Vienna saw witness to the Opening Conference of the ESF-Research Networking Programme “The Philosophy of Science in a European perspective” (PSE) which was organised by the Vienna Circle Institute and took place on the 18-20 December at the Campus of the University of Vienna, 2008. Its overarching aim was to set the background for a collaborative project organising, systematising, and ultimately forging an identity for, European philosophy of science by creating research structures and developing research networks across (...) Europe to promote its development. As such under the general rubric of ‘the present situation in the philosophy of science’, the emphasis was on as a first step identifying traditions and research structures already present, and the directions in which this research was leading. (shrink)

Modern thought typically opposes the authority of tradition in the name of universal reason. Postmodernism begins with the insight that the sociohistorical context of tradition and its authority is inevitable, even in modernity. Modernity can no longer take itself for granted when it recognizes itself as a tradition that is opposed to traditions. The left-wing postmodernist response to this insight is to conclude that because tradition is inevitable, irrationality is inevitable. The right-wing postmodernist response is to see traditions as the (...) home of diverse forms of rationality. This requires an understanding of the Socratic, self-critical aspect of intellectual traditions, which include both modern sciences and the great world religions. (shrink)

This essay interprets Butler’s distinction between identity in the loose and popular sense and in the strict and philosophical sense. Suppose there are different standards for counting the same things. Then what are two distinct things counting strictly may be one and the same thing counting loosely. Within a given standard identity is one-one. But across standards it is many-one. An alternative interpretation using the parts-whole relation fails, because that relation should be understood as many-one identity. Another alternative making identity (...) relative to sort fails, because whole and parts can be of the same sort. (shrink)

I defend the extremist position that the fundamental ontology of the world consists of a vector in Hilbert space evolving according to the Schrödinger equation. The laws of physics are determined solely by the energy eigenspectrum of the Hamiltonian. The structure of our observed world, including space and fields living within it, should arise as a higher-level emergent description. I sketch how this might come about, although much work remains to be done.

We have a much better understanding of physics than we do of consciousness. I consider ways in which intrinsically mental aspects of fundamental ontology might induce modifications of the known laws of physics, or whether they could be relevant to accounting for consciousness if no such modifications exist. I suggest that our current knowledge of physics should make us skeptical of hypothetical modifications of the known rules, and that without such modifications it’s hard to imagine how intrinsically mental aspects could (...) play a useful explanatory role. Draft version of a paper submitted to Journal of Consciousness Studies, special issue responding to Philip Goff’s Galileo’s Error: Foundations for a New Science of Consciousness. (shrink)

Over the past fifteen years there has been a considerable amount of debate concerning what theoretical population dynamic models tell us about the nature of natural selection and drift. On the causal interpretation, these models describe the causes of population change. On the statistical interpretation, the models of population dynamics models specify statistical parameters that explain, predict, and quantify changes in population structure, without identifying the causes of those changes. Selection and drift are part of a statistical description of population (...) change; they are not discrete, apportionable causes. Our objective here is to provide a definitive statement of the statistical position, so as to allay some confusions in the current literature. We outline four commitments that are central to statisticalism. They are: 1. Natural Selection is a higher order effect; 2. Trait fitness is primitive; 3. Modern Synthesis (MS)-models are substrate neutral; 4. MS-selection and drift are model-relative. (shrink)

This paper presents a new kind of problem in the ethics of distribution. The problem takes the form of several “calibration dilemmas,” in which intuitively reasonable aversion to small-stakes inequalities requires leading theories of distribution to recommend intuitively unreasonable aversion to large-stakes inequalities. We first lay out a series of such dilemmas for prioritarian theories. We then consider a widely endorsed family of egalitarian views and show that they are subject to even more forceful calibration dilemmas than prioritarian theories. Finally, (...) we show that our results challenge common utilitarian accounts of the badness of inequalities in resources. (shrink)

Ontologies are some of the most central constructs in today's large plethora of knowledge technologies, namely in the context of the semantic web. As their coinage indicates, they are direct heirs to the ontological investigations in the long Western philosophical tradition, but it is not easy to make bridges between them. Contemporary ontological commitments often take causality as a central aspect for the ur-segregation of entities, especially in scientific upper ontologies; theories of causality and philosophical ontological investigations often go hand-in-hand, (...) and were essentially inseparable in medieval thought. This constitutes the foundation for a bridge, and this article analyzes the causality-based ontology of the late medieval philosopher Dietrich of Freiberg from the viewpoint of today's upper-ontology engineering. In this bridging attempt, it offers a translation into English of the first part of Dietrich's De origine (abbreviated title) that is a compromise between traditional scholarly translations of medieval Latin philosophical texts and contemporary ontology. (shrink)

Foundational ontologies, central constructs in ontological investigations and engineering alike, are based on ontological categories. Firstly proposed by Aristotle as the very ur- elements from which the whole of reality can be derived, they are not easy to identify, let alone partition and/or hierarchize; in particular, the question of their number poses serious challenges. The late medieval philosopher Dietrich of Freiberg wrote around 1286 a tutorial that can help us today with this exceedingly difficult task. In this paper, I discuss (...) ontological categories and their importance for foundational ontologies from both the contemporary perspective and the original Aristotelian viewpoint, I provide the translation from the Latin into English of Dietrich's De origine II with an introductory elaboration, and I extract a foundational ontology–that is in fact a single-category one–from this text rooted in Dietrich's specification of types of subjecthood and his conception of intentionality as causal operation. (shrink)

This article investigates the hitherto under-examined relations between affirmative action, paternalism and respect. We provide three main arguments. First, we argue that affirmative action initiatives are typically paternalistic and thus disrespectful towards those intended beneficiaries who oppose the initiatives in question. Second, we argue that not introducing affirmative action can also be disrespectful towards these potential beneficiaries because such inaction involves a failure to adequately recognize their moral worth. Third, we argue that the paternalistic disrespect involved in affirmative action is (...) alleviated when the potential beneficiaries’ preferences against such initiatives are adaptive. We conclude that although there is a relevant sense in which paternalistic affirmative action is disrespectful, it may well be more disrespectful not to pursue such policies. (shrink)

Construing the instantiation of a universal by a particular in terms of my theory of aspects resolves the basic mystery of this "non-relational tie", and gives theoretical unity to the four characteristics of instantiation discerned by Armstrong. Taking aspects as distinct in a way akin to Scotus's formal distinction, I suggest that instantiation is the sharing of an aspect by a universal and a particular--a kind of partial identity. This approach allows me to address Plato's multiple location and One over (...) Many problems, Bradley's problem concerning the instantiation of relations, and the problem of change. (shrink)

I argue that an individual has aspects numerically identical with it and each other that nonetheless qualitatively differ from it and each other. This discernibility of identicals does not violate Leibniz's Law, however, which concerns only individuals and is silent about their aspects. They are not in its domain of quantification. To argue that there are aspects I will appeal to the internal conflicts of conscious beings. I do not mean to imply that aspects are confined to such cases, but (...) the best way to start is to recognize them experientially. We can feel the conflicts within ourselves. In doing so we can feel some of our aspects. I will try to enhance our understanding of the concept of aspect by listing and formalizing some principles for its use. After that I will argue that all sorts of individual things have aspects, not just people who are conflicted. (shrink)

This paper investigates agents’ blameworthiness when they are part of a group that does harm. We analyse three factors that affect the scope of an agent’s blameworthiness in these cases: shared intentionality, interpersonal influence, and common knowledge. Each factor involves circumstantial luck. The more each factor is present, the greater is the scope of each agent’s vicarious blameworthiness for the other agents’ contributions to the harm. We then consider an agent’s degree of blameworthiness, as distinct from her scope of blameworthiness. (...) We suggest that an agent mostly controls her degree of blameworthiness—but even here, luck constrains what possible degrees of blameworthiness are open to her. (shrink)

You may not know me well enough to evaluate me in terms of my moral character, but I take it you believe I can be evaluated: it sounds strange to say that I am indeterminate, neither good nor bad nor intermediate. Yet I argue that the claim that most people are indeterminate is the conclusion of a sound argument—the indeterminacy paradox—with two premises: (1) most people are fragmented (they would behave deplorably in many and admirably in many other situations); (2) (...) fragmentation entails indeterminacy. I support (1) by examining psychological experiments in which most participants behave deplorably (e.g., by maltreating “prisoners” in a simulated prison) or admirably (e.g., by intervening in a simulated theft). I support (2) by arguing that, according to certain plausible conceptions, character evaluations presuppose behavioral consistency (lack of fragmentation). Possible reactions to the paradox include: (a) denying that the experiments are relevant to character; (b) upholding conceptions according to which character evaluations do not presuppose consistency; (c) granting that most people are indeterminate and explaining why it appears otherwise. I defend (c) against (a) and (b). (shrink)

Imperatives cannot be true or false, so they are shunned by logicians. And yet imperatives can be combined by logical connectives: "kiss me and hug me" is the conjunction of "kiss me" with "hug me". This example may suggest that declarative and imperative logic are isomorphic: just as the conjunction of two declaratives is true exactly if both conjuncts are true, the conjunction of two imperatives is satisfied exactly if both conjuncts are satisfied—what more is there to say? Much more, (...) I argue. "If you love me, kiss me", a conditional imperative, mixes a declarative antecedent ("you love me") with an imperative consequent ("kiss me"); it is satisfied if you love and kiss me, violated if you love but don't kiss me, and avoided if you don't love me. So we need a logic of three -valued imperatives which mixes declaratives with imperatives. I develop such a logic. (shrink)

Why does classical equilibrium statistical mechanics work? Malament and Zabell (1980) noticed that, for ergodic dynamical systems, the unique absolutely continuous invariant probability measure is the microcanonical. Earman and Rédei (1996) replied that systems of interest are very probably not ergodic, so that absolutely continuous invariant probability measures very distant from the microcanonical exist. In response I define the generalized properties of epsilon-ergodicity and epsilon-continuity, I review computational evidence indicating that systems of interest are epsilon-ergodic, I adapt Malament and Zabell’s (...) defense of absolute continuity to support epsilon-continuity, and I prove that, for epsilon-ergodic systems, every epsilon-continuous invariant probability measure is very close to the microcanonical. (shrink)

Imperatives cannot be true, but they can be obeyed or binding: `Surrender!' is obeyed if you surrender and is binding if you have a reason to surrender. A pure declarative argument — whose premisses and conclusion are declaratives — is valid exactly if, necessarily, its conclusion is true if the conjunction of its premisses is true; similarly, I suggest, a pure imperative argument — whose premisses and conclusion are imperatives — is obedience-valid (alternatively: bindingness-valid) exactly if, necessarily, its conclusion is (...) obeyed (alternatively: binding) if the conjunction of its premisses is. I argue that there are two kinds of bindingness, and that a vacillation between two corresponding variants of bindingness-validity largely explains conflicting intuitions concerning the validity of some pure imperative arguments. I prove that for each of those two variants of bindingness-validity there is an equivalent variant of obedience-validity. Finally, I address alternative accounts of pure imperative inference. (shrink)

The article studies the impact of Fintech on entrepreneurship in Arabic region by using Crowdfunding platforms as the field of study. The article focuses on Arabic Crowdfunding platforms. The population of (12) platforms consist of: individuals, entrepreneurs, investors, employees at Crowdfunding platforms. Descriptive and quantitative approach used in this article, and a questionnaire used as a tool to collect primary data. The results indicate an impact for Fintech on entrepreneurship in general and obvious obstacles to use it widely in Arabic (...) region cause of legislations or e-payments. The article recommended more awareness for innovative products and services such as Fintech, Crowdfunding and adopting the culture of e-business models. Also the article promoting the process of developing regulations that organize e-business models, especially Fintech and Crowdfunding, the use of modern communication technology to serve the development of society, more interest to innovation and creativity as a key factor for entrepreneurial success. (shrink)

When a liberal-democratic state signs a treaty or wages a war, does its whole polity do those things? In this article, we approach this question via the recent social ontological literature on collective agency. We provide arguments that it does and that it does not. The arguments are presented via three considerations: the polity's control over what the state does; the polity's unity; and the influence of individual polity members. We suggest that the answer to our question differs for different (...) liberal-democratic states and depends on two underlying considerations: the amount of discretion held by the state's officeholders; the extent to which the democratic procedure is deliberative rather than aggregative. (shrink)

"Surrender; therefore, surrender or fight" is apparently an argument corresponding to an inference from an imperative to an imperative. Several philosophers, however (Williams 1963; Wedeking 1970; Harrison 1991; Hansen 2008), have denied that imperative inferences exist, arguing that (1) no such inferences occur in everyday life, (2) imperatives cannot be premises or conclusions of inferences because it makes no sense to say, for example, "since surrender" or "it follows that surrender or fight", and (3) distinct imperatives have conflicting permissive presuppositions (...) ("surrender or fight" permits you to fight without surrendering, but "surrender" does not), so issuing distinct imperatives amounts to changing one's mind and thus cannot be construed as making an inference. In response I argue inter alia that, on a reasonable understanding of 'inference', some everyday-life inferences do have imperatives as premises and conclusions, and that issuing imperatives with conflicting permissive presuppositions does not amount to changing one's mind. (shrink)

Philosophers often talk as though each ability is held by exactly one agent. This paper begins by arguing that abilities can be held by groups of agents, where the group is not an agent. I provide a new argument for—and a new analysis of—non-agentive groups’ abilities. I then provide a new argument that, surprisingly, obligations are different: non-agentive groups cannot bear obligations, at least not if those groups are large-scale such as ‘humanity’ or ‘carbon emitters.’ This pair of conclusions is (...) important, since philosophers who endorse large-scale non-agentive groups’ abilities almost universally endorse their obligations. More importantly, the twin arguments (one for abilities, one against obligations) make the following novel contribution: abilities imply agency-involving explanations, while obligations imply action-guidance. This general conclusion should be of interest beyond social ontology. (shrink)

In the early part of the paper, I attempt to explain a dispute between two parties who endorse the compositionality of language but disagree about its implications: Paul Horwich, and Jerry Fodor and Ernest Lepore. In the remainder of the paper, I challenge the thesis on which they are agreed, that compositionality can be taken for granted. I suggest that it is not clear what compositionality involves nor whether it obtains. I consider some kinds of apparent counterexamples, and compositionalist responses (...) to them in terms of covert indexicality and unspecific meanings. I argue that the last option is the best for most of the cases I consider. I conclude by stressing, as against Horwich and Fodor and Lepore, that the appropriate question concerns the extent to which compositionality obtains in a natural language, rather than whether it obtains or not, so that the answer is essentially messy, requiring detailed consideration of a wide range of examples. (shrink)

Plato is associated with the idea that the body holds us back from knowing ultimate reality and so we should try to distance ourselves from its influence. This sentiment appears is several of his dialogues including Theaetetus where the flight from the physical world is compared to becoming like God. In some major dialogues of Plato's later career such as Philebus and Laws, however, the idea of becoming like God takes a different turn. God is an intelligent force that tries (...) to create order in the physical world. I argue that likeness to God in these dialogues involves imitating God's effort by trying to order our bodies, souls, and societies as intelligence directs. Becoming like Plato's God is not to abandon the world. It is to improve it. (shrink)

I argue via examples that there are cases in which things that are not two distinct things qualitatively differ without contradiction. In other words, there are cases in which something differs from itself. Standard responses to such cases are to divide the thing into distinct parts, or to conceive of the thing under different descriptions, or to appeal to different times, or to deny that the property had is the property lacked. I show these responses to be unsatisfactory. I then (...) gather and systematize available ways of talking about such cases with phrases like ‘insofar as’, ‘qua’, ‘to the extent that’, ‘in some respect’, etc., while paying special attention to the scope of ‘not’ when used with these phrases. This allows me to show how we can speak of self-differing without contradiction. (shrink)

A plausible thought about vagueness is that it involves semantic incompleteness. To say that a predicate is vague is to say (at the very least) that its extension is incompletely specified. Where there is incomplete specification of extension there is indeterminacy, an indeterminacy between various ways in which the specification of the predicate might be completed or sharpened. In this paper we show that this idea is bound to founder by presenting an argument to the effect that there are vague (...) predicates which cannot be sharpened in such a way as to meet certain basic constraints (of penumbral connection and public accessibility) that must be imposed on the very notion of a sharpening. (shrink)

According to Hempel's paradox, evidence (E) that an object is a nonblack nonraven confirms the hypothesis (H) that every raven is black. According to the standard Bayesian solution, E does confirm H but only to a minute degree. This solution relies on the almost never explicitly defended assumption that the probability of H should not be affected by evidence that an object is nonblack. I argue that this assumption is implausible, and I propose a way out for Bayesians. Introduction Hempel's (...) paradox, the standard Bayesian solution, and the disputed assumption Attempts to defend the disputed assumption Attempts to refute the disputed assumption A way out for Bayesians Conclusion. (shrink)

Intelligent Tutoring Systems (ITS) has a wide influence on the exchange rate, education, health, training, and educational programs. In this paper we describe an intelligent tutoring system that helps student study computer networks. The current ITS provides intelligent presentation of educational content appropriate for students, such as the degree of knowledge, the desired level of detail, assessment, student level, and familiarity with the subject. Our Intelligent tutoring system was developed using ITSB authoring tool for building ITS. A preliminary evaluation of (...) the ITS was done by a group of students and teachers. The results were acceptable. (shrink)

Individuals have various kinds of obligations: keep promises, don’t cause harm, return benefits received from injustices, be partial to loved ones, help the needy and so on. How does this work for group agents? There are two questions here. The first is whether groups can bear the same kinds of obligations as individuals. The second is whether groups’ pro tanto obligations plug into what they all-things-considered ought to do to the same degree that individuals’ pro tanto obligations plug into what (...) they all-things-considered ought to do. We argue for parity on both counts. (shrink)

These comments are part of a book symposium on Karen Bennett's book, _Making Things Up_.

How is it possible for David Hume to be both withering skeptic and constructive theorist? I recommend an answer like the Pyrrhonian answer to the question how it is possible to suspend all judgment yet engage in active daily life. Sextus Empiricus distinguishes two kinds of assent: one suspended across the board and one involved with daily living. The first is an act of will based on appreciation of reasons; the second is a causal effect of appearances. Hume makes the (...) same distinction, only he extends the sort of assent involved in daily life to theoretical matters as well. He is a skeptic both in finding no reason to grant the first sort of assent and in being subject to the second. (shrink)

The van Wijngaarden grammars are two-level grammars that present many interesting properties. In the present article I elaborate on six of these properties, to wit, (i) their being constituted by two grammars, (ii) their ability to generate (possibly infinitely many) strict languages and their own metalanguage, (iii) their context-sensitivity, (iv) their high descriptive power, (v) their productivity, or the ability to generate an infinite number of production rules, and (vi) their equivalence with the unrestricted, or Type-0, Chomsky grammars.

ABSTRACT According to David Lewis, alteration is "qualitative difference between temporal parts of something." It follows that moments, since they are simple and lack temporal parts, cannot alter from future to present to past. Here then is another way to put McTaggart's paradox about change in tense. I will appeal to my theory of Aspects to rebut the thought behind this rendition of McTaggart. On my theory, it is possible that qualitatively differing things be numerically identical. I call these differing, (...) numerically identical things "aspects." I will argue that alteration can be a qualitative difference between temporal aspects of something that lacks temporal parts. So a moment can alter in tense. By rejecting Lewis's assumption my theory can solve this version of McTaggart's paradox. (shrink)

In this article I propose an original view of the nature of shared intention. In contrast to psychological views (Bratman, Searle, Tuomela) and normative views (Gilbert), I argue that both functional roles played by attitudes of individual participants and interpersonal obligations are factors of central and independent significance for explaining what shared intention is. It is widely agreed that shared intention (I) normally motivates participants to act, and (II) normally creates obligations between them. I argue that the view I propose (...) can explain why it is not a mere accident that both (I) and (II) are true of shared intention, while psychological and normative views cannot. The basic idea is that shared intention involves a structure of attitudes of individuals –including, most importantly, attitudes of reliance – which normally plays the relevant motivating roles and creates the relevant obligations. (shrink)

The paper argues that intensional phenomena can be explained without appealing to "exotic" entities: one that don't exist, are merely possible, or are essentially abstract.

3rd ed, 2021. A circumscription of the classical theory of computation building up from the Chomsky hierarchy. With the usual topics in formal language and automata theory.